shadow: fix race between resync and page promotion.
authorKeir Fraser <keir.fraser@citrix.com>
Mon, 24 Nov 2008 11:12:20 +0000 (11:12 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Mon, 24 Nov 2008 11:12:20 +0000 (11:12 +0000)
commit6d72e644df8cf5c0bee438c2ea746538a3b06247
treeed3bb6ddf6a5d486d8447a5e9bbc064f56cbe6b5
parentc65b3f8832a25e0730a6790553037120580cfa72
shadow: fix race between resync and page promotion.

This patch fixes a (hopefully) rare-occurring problem causing memory
corruption in 64 bit guests (and assertion failures in debug build
xen).

On a pagefault, set_l{3,4}e's resync_all was able to give write access
to a page in the guest still not shadowed.

Signed-off-by: Gianluca Guida <gianluca.guida@eu.citrix.com>
xen/arch/x86/mm/shadow/multi.c